81. Evaluating mathematical programming techniques : proceedings of a conference held at the National Bureau of Standards, Boulder, Colorado, January 5-6, 1981

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Programming ]Mathematics[-- Congresses

رده :
QA
402
.
5
.
E94
1982

82. Evolutionary computation in combinatorial optimization :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Combinatorial optimization-- Data processing, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Combinatorial optimization-- Data processing.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.

رده :
QA76
.
618

83. Exploring the early digital /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.

رده :
QA75
.
5
.
E96
2019

84. Extremal methods and systems analysis

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (طهران)

موضوع : System analysis--Congresses,Programming (Mathematics)--Congresses,Game theory--Congresses,Economics, Mathematical--Congresses,Charnes, A.--(Abraham),--1917

رده :
QA402
.
I57
1977

85. Extremal methods and systems analysis

پدیدآورنده :

کتابخانه: کتابخانه مرکز روانپزشکی رازی (طهران)

موضوع : System analysis--Congresses,Programming (Mathematics)--Congresses,Game theory--Congresses,Economics, Mathematical--Congresses,Charnes, A.--(Abraham),--1917

رده :
QA402
.
I57
1977

86. Extremal methods and systems analysis : an international symposium on the occasion of Professor Abraham Charnes' sixtieth birthday, Austin, Texas, September 13-15, 1977

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، System analysis-- Congresses,، Programming )Mathematics(-- Congresses,، Name theory-- Congresses,، Economics, Mathematical-- Congresses,، Charnes, A. )Abraham(, 7191-

رده :
QA
402
.
I57
1977

87. Fields of Logic and Computation II

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها

رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,

88. Fixed points : algorithms and applications

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Fixed point theory-- Congresses,، Equations, Simultaneous-- Congresses,، Economics, Mathematical-- Congresses,، Programming )Mathematics(-- Congresses

رده :
QA
329
.
9
.
I57
1974

89. Formal aspects of component software :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
9
.
F67

90. Formal methods :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :
QA76
.
9
.
F67

91. Formal methods and software engineering :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
9
.
F67

92. Formal modeling and analysis of timed systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.

رده :
QA76
.
9
.
F67

93. Foundations of software science and computation structures :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
751
.
F67
2018eb

94. Fuzzy Sets Theory and Applications

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Decision making -- Congresses.,Fuzzy sets -- Congresses.,Problem solving -- Congresses.

95. Generalized quantifiers and computation

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.

96. Graph-theoretic concepts in computer science :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Arithmetic and Logic Structures.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Algorithms & data structures.,Computer science-- Mathematics.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Graph theory-- Data processing.,Graphics programming.

رده :
QA166

97. High Performance Computing in the Geosciences

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Earth sciences -- Data processing -- Congresses.,Earth sciences -- Data processing.,Earth sciences -- Mathematics -- Congresses.

98. Information systems and technologies to support learning :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Education-- Effect of technological innovations on.,Educational innovations, Congresses.,Educational technology, Congresses.,Internet in education.,Artificial intelligence.,EDUCATION-- Administration-- General.,Education-- Effect of technological innovations on.,EDUCATION-- Organizations & Institutions.,Educational innovations.,Educational technology.,Internet in education.

رده :
LB1028
.
3

99. Intelligent and congnitive systems: Proceedings of the International Conference on Intelligent Systems Research Faculty, September 23-26, 1996, Tehran, Ira

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Cognition-- Mathematical models-- Congresses,، Cognition-- Data processing-- Congresses,، Cognition science-- Congresses,، Electronic digital computers-- Programming-- Congresses

رده :
BF
311
.
I5664
1996

100. Language and automata theory and applications :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.

رده :
QA267
.
L38
2018